1. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
2. Model checking softwar
پدیدآورنده : Alex Groce, Madanlal Musuvathi (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : SPIN (Computer file), Congresses,Computer software, Verification, Congresses
رده :
QA
،
76
.
76
،.
V47
3. Model checking software
پدیدآورنده : Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : SPIN (Computer file),Computer software-- Verification, Congresses
4. Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
پدیدآورنده : Susanne Graf, Laurent Mounier )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2989
5. Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
پدیدآورنده : Dragan Bosnacki, Stefan Leue ]eds.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2318
6. Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
پدیدآورنده : Thomas Ball, Sriram K. Rajamani )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2648
7. Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
پدیدآورنده : Patrice Godefroid )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
3639
8. Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
پدیدآورنده : Matthew Dwyer )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2057
9. SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings
پدیدآورنده : Klaus Havelund, John Penix, Willem Visser )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
1885
10. Theoretical and Practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5th 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
پدیدآورنده : Dennis Dams...]et al.[, )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
1680